- verified software
- проверенное (верифицированное) программное обеспечение
Англо-русский словарь по компьютерной безопасности. Академик.ру. 2011.
verified software
Смотреть что такое "verified software" в других словарях:
Software pipelining — In computer science, software pipelining is a technique used to optimize loops, in a manner that parallels hardware pipelining. Software pipelining is a type of out of order execution, except that the reordering is done by a compiler (or in the… … Wikipedia
Software engineer — A software engineer is an engineer who applies the principles of software engineering to the design, development, testing, and evaluation of the software and systems that make computers or anything containing software, such as computer chips,… … Wikipedia
Software agent — In computer science, a software agent is a piece of software that acts for a user or other program in a relationship of agency, which derives from the Latin agere (to do): an agreement to act on one s behalf. Such action on behalf of implies the… … Wikipedia
Software System Safety — In Software Engineering, Software System Safety optimizes system safety in the design, development, use, and maintenance of software systems and their integration with safety critical hardware systems in an operational environment.… … Wikipedia
Software independence — The term software independence (SI) was coined by Dr. Ron Rivest and NIST researcher John Wack. A software independent voting machine is one whose tabulation record does not rely solely on software. The goal of an SI system is to definitively… … Wikipedia
Voter Verified Paper Audit Trail — (VVPAT) or Verified Paper Record (VPR) is intended as an independent verification system for voting machines designed to allow voters to verify that their vote was cast correctly, to detect possible election fraud or malfunction, and to provide a … Wikipedia
Free Software Foundation — infobox organization image border = size = 300px caption = msize = mcaption = abbreviation = FSF motto = Free Software, Free Society formation = 1985 10 04 extinction = n/a type = NGO and Non profit organization status = Foundation purpose =… … Wikipedia
Comparison of revision control software — The following is a comparison of revision control software. The following tables includes general and technical information for notable revision control and software configuration management (SCM) software. This is an incomplete list, which may… … Wikipedia
Debates within software engineering — Many debates are raging within the software engineering community. As software becomes more pervasive, most recognize the need for better software, but few agree on how to obtain it. Right to use the word engineering The word engineering within… … Wikipedia
Lean software development — is a translation of lean manufacturing principles and practices to the software development domain. Adapted from the Toyota Production System, a pro lean subculture is emerging from within the Agile community. Origin The term Lean Software… … Wikipedia
Steam (software) — Steampowered redirects here. For the steam engine, see Steam engine. Steam … Wikipedia
